Synchronous Programming
نویسندگان
چکیده
Synchronous programming is a school of thought in embedded software which has been in the air for a while but without being always given clear and thorough explanations. This has led to many misunderstandings as, for instance, opinions like: “we do not use synchronous programming because null execution time is not realistic and infinitely fast machines do not exist”. At the same time many practitioners adopted (implicitely or not) the synchronous programming principles and, by now, synchronous programming is used in realworld safety-critical systems like the “fly-by-wire” systems of Airbus commercial aircrafts (A340, A380). This discrepancy between a valuable industrial usage and charges of unrealism clearly shows that better explanations are urgently needed. This chapter hopefully aims at contributing to a better understanding. In order to provide these mandatory explanations, we propose to take a historical perspective by showing that synchronous programming has arisen from the interaction between:
منابع مشابه
The Synchronous Approach to Reactive and Real-Time Systems
This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness pr...
متن کاملThe Multi-Paradigm Synchronous Programming Language LEA
We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common intermediate format called Boolean automata. Such a uniform translation allows to smoothly combine the languages into one multi-paradigm language for programming synchronous reactive systems.
متن کاملIntroducing the Synchronous Approach into a Real-Time Course
This paper presents an experimental introduction of the synchronous approach in a full course in real-time system programming. This course is intended for both computer science and electrical engineering students. The originality of the course is to combine the classical real-time programming and the new coming synchronous programming. The content of the course is given and commented. A particu...
متن کاملSynchronous Machines: a Traced Category
Synchronous programming languages have been extensively used in the area of critical embedded systems. Synchronous machines, a specific class of labelled transition systems, are often used to give denotational semantics of these languages. In this work, we study the categorical structure of the aforementioned machines. We first show that the category S of synchronous machines can be given a tra...
متن کامل